Programming language implementation - PDFSEARCH.IO - Document Search Engine

Programming language implementation
Results: 1978

#	Item
191	Cloud Native Eric Brewer VP, Infrastructure May 20, 2015 XLDB Add to Reading List Source URL: www-conf.slac.stanford.edu Language: English - Date: 2015-05-20 16:15:39 Cluster computing Network management Programming language implementation Virtual machine Google App Engine OpenVMS PODS Load balancing Computing System software Concurrent computing
192	Student Travel Grant Application ACM SIGPLAN 5th Workshop on Programming Languages and Analysis for Security (PLASToronto, Canada, June 10, 2010 Sponsored by Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-05-06 13:31:58 Email Technology Association for Computing Machinery Programming Language Design and Implementation Computing
193	lecture 04 machine language Add to Reading List Source URL: nand2tetris.org Language: English - Date: 2013-03-30 07:32:43 Microcontrollers Electronics Instruction set architectures Numbers Assembly language Programming language implementation Computer
194	Provably Correct Peephole Optimizations with Alive Nuno P. Lopes Microsoft Research, UK David Menendez Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2015-04-28 14:36:09 Compiler construction Compilers Compiler optimizations C programming language LLVM Compiler Static single assignment form GNU Compiler Collection Type system Software Computing Programming language implementation
195	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:41 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
196	PICOBIT: A Compact Scheme System for Microcontrollers Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 15:00:00 Compiler Programming language implementation Bytecode Microcontroller Electronics Embedded system Software Computing Compiler construction
197	Delft University of Technology Software Engineering Research Group Technical Report Series Mixing Source and Bytecode – A Case for Compilation by Normalization Add to Reading List Source URL: swerl.tudelft.nl Language: English - Date: 2008-08-04 18:19:30 Programming language implementation Cross-platform software Compiler construction Java platform Java programming language Bytecode Java Compiler Python Computing Software engineering Software
198	This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-06-08 15:23:55 Science Formal sciences Compiler construction Mathematical logic Proof theory Isabelle Compiler Mathematical proof Model checking Logic Mathematics Programming language implementation
199	Guide to: JULES-CCATT-BRAMS1.0 Author: Demerval Soares Moreira () CPTEC/INPE/Bazil Last revision: 15/Mar/2013 Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2015-04-24 09:13:39 Compilers NetCDF Compiler construction Programming language implementation JULES GrADS GNU Compiler Collection Apache Ant Compiler Software Computing Earth sciences graphics software

UPDATE